1. Temporal logic and state systems
پدیدآورنده : Kroger, Fred, 5491-
کتابخانه: (طهران)
موضوع : ، Tense )Logic(,، Logic, Symbolic and mathematical,، Time
رده :
BC
199
.
T4K76
2. Temporal logic and state systems
پدیدآورنده : Kroger, Fred
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Tense )Logic(,، Logic, Symbolic and mathematical,، Time
رده :
BC
199
.
T4
.
K76
2008
3. Temporal logic of programs
پدیدآورنده : Kroger, Fred
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Electronic digital computers-- Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
K753
1987
4. Temporal logic of programs
پدیدآورنده : KROGER,FRED
کتابخانه: (طهران)
موضوع : ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , LOGIC,SYMBOLIC & MATHEMATICAL
رده :
QA
76
.
6
.
K753
5. Temporal logic of programs
پدیدآورنده : Kroger, Fred
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Electronic digital computers - Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
K753
1987
6. Temporal logic of programs
پدیدآورنده : Kroger, Fred
کتابخانه: (طهران)
موضوع : ، Electronic digital computers -- Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
K753
1987
7. Vaccines /
پدیدآورنده : [edited by] Stanley A. Plotkin, Walter A. Orenstein, and Paul A. Offit
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Vaccines,Immunization Programs,Vaccination,Vaccines
رده :
QR189
P56
2013